Tests and Proofs - 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings
- Författare
- (Edited by Bernhard K. Aichernig, Carlo A. Furia.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer International Publishing, Imprint: Springer | 2016 | Tyskland, Cham | XIV, 199 sidor. 51 illus. online resource. | 978-3-319-41135-4 |